Web-based platforms play an increasingly important role in managing and sharing research data of all types and sizes. This article presents a case study of the data storage, sharing, and management platform Figshare. We argue that such platforms are displacing and reconfiguring the infrastructure of norms, technologies, and institutions that underlies traditional scholarly communication. Using a theoretical framework that combines infrastructure studies with platform studies, we show that Figshare leverages the platform logic of core and complementary components to re-integrate a (...) presently splintered scholarly infrastructure. By means of this logic, platforms may provide the path to bring data inside a scholarly communication system still optimized mainly for text publications. Yet the platform strategy also risks turning over critical scientific functions to private firms whose longevity, openness, and corporate goals remain uncertain. It may amplify the existing trend of splintering infrastructures, with attendant effects on equity of service. (shrink)

In 2004, Google embarked on a massive book digitization project. Forty library partners and billions of scanned pages later, Google Book Search has provided searchable text access to millions of books. While many details of Google’s conversion processes remain proprietary secret, here we piece together their general outlines by closely examining Google Book Search products, Google patents, and the entanglement of libraries and computer scientists in the longer history of digitization work. We argue that far from simply “scanning” books, Google’s (...) efforts may be characterized as algorithmic digitization, strongly shaped by an equation of digital access with full-text searchability. We explore the consequences of Google’s algorithmic digitization system for what end users ultimately do and do not see, placing these effects in the context of the multiple technical, material, and legal challenges surrounding Google Book Search. By approaching digitization primarily as a text extraction and indexing challenge—an effort to convert print books into electronically searchable data—GBS enacts one possible future for books, in which they are defined largely by their textual content. (shrink)

The authors evaluate the soundness of the ontological argument they developed in their 1991 paper. They focus on Anselm’s first premise, which asserts that there is a conceivable thing than which nothing greater can be conceived. After casting doubt on the argument Anselm uses in support of this premise, the authors show that there is a formal reading on which it is true. Such a reading can be used in a sound reconstruction of the argument. After this reconstruction is developed (...) in precise detail, the authors show that the conclusion, a reading of the claim “God exists”, does not quite achieve the end Anselm desired. (shrink)

This essay proposes a cultural and historical explanation for the American Military's fascination with computing. Three key elements of post-WWII US political culture — apocalyptic struggle with the USSR, subsuming all other conflicts: a long history of antimilitarist sentiment in American politics; and the rise of science-based military power — contributed to a sense of the world as a closed system accessible to American technological control. A developing scientific systems discourse, centrally including computer science and AI, was adopted for strategic (...) thinking and military technology. The Strategic Computing and Strategic Defense Initiatives are discussed as contemporary examples of this conjunction. (shrink)

The authors investigated the ontological argument computationally. The premises and conclusion of the argument are represented in the syntax understood by the automated reasoning engine PROVER9. Using the logic of definite descriptions, the authors developed a valid representation of the argument that required three non-logical premises. PROVER9, however, discovered a simpler valid argument for God's existence from a single non-logical premise. Reducing the argument to one non-logical premise brings the investigation of the soundness of the argument into better focus. Also, (...) the simpler representation of the argument brings out clearly how the ontological argument constitutes an early example of a ?diagonal argument? and, moreover, one used to establish a positive conclusion rather than a paradox. (shrink)

In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using an ordinary logic (...) of descriptions and a connected greater-than relation, God's existence logically follows from the claims: (a) there is a conceivable thing than which nothing greater is conceivable, and (b) if <em>x</em> doesn't exist, something greater than x can be conceived. To deny the conclusion, one must deny one of the premises. However, the argument involves no modal inferences and, interestingly, Descartes' ontological argument can be derived from it. (shrink)

Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of automated (...) theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools. (shrink)

Though Frege was interested primarily in reducing mathematics to logic, he succeeded in reducing an important part of logic to mathematics by defining relations in terms of functions. By contrast, Whitehead & Russell reduced an important part of mathematics to logic by defining functions in terms of relations (using the definite description operator). We argue that there is a reason to prefer Whitehead & Russell's reduction of functions to relations over Frege's reduction of relations to functions. There is an interesting (...) system having a logic that can be properly characterized in relational but not in functional type theory. This shows that relational type theory is more general than functional type theory. The simplification offered by Church in his functional type theory is an over-simplification: one can't assimilate predication to functional application.<br>. (shrink)

Formulations of Anselm’s ontological argument have been the subject of a number of recent studies. We examine these studies in light of Anselm’s text and (a) respond to criticisms that have surfaced in reaction to our earlier representations of the argument, (b) identify and defend a more refined representation of Anselm’s argument on the basis of new research, and (c) compare our representation of the argument, which analyzes that than which none greater can be conceived as a definite description, to (...) a representation that analyzes it as an arbitrary name. (shrink)

The authors evaluate the soundness of the ontological argument they developed in their 1991 paper. They focus on Anselm’s first premise, which asserts that there is a conceivable thing than which nothing greater can be conceived. After casting doubt on the argument Anselm uses in support of this premise, the authors show that there is a formal reading on which it is true. Such a reading can be used in a sound reconstruction of the argument. After this reconstruction is developed (...) in precise detail, the authors show that the conclusion, a reading of the claim “God exists”, does not quite achieve the end Anselm desired. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Notes and Discussions AGOSTINO NIFO'S EARLY VIEWS ON IMMORTALITY Various historians of Renaissance philosophy have taken some notice of the prolific author and important philosopher of the late 15th and early 16th centuries, Agostino Nifo (1470-1538), x but no one has yet studied his writings in a methodical and exhaustive fashion. 2 He not only published philosophical works in logic, physics, psychology and metaphysics, but he also authored treatises (...) on humanist topics? Recent scholars have tended to concentrate their attention on his psychological doctrines, no doubt because he was one of the major opponents of Pietro Pomponazzi (1462-1525) during the immortality controversy.4 Nifo published his De Immortalitate Animae in 1518 as a reply to the De lmmortalitate Ardmae, On the year of Nifo)s birth, see Bruno Nardi, Saggi sull'aristotelismo padovano dal secolo xav al xvl ('Florence, 1958), p. 284, n. 8. There is contemporary evidence that he died on January 18, 1538. See Bartolommeo Capasso, "Le cronache de li antiqui ri del regno di Napoli di D. Gaspare Fuscolill0," Archivio storico per le province napoletane, I (1876), p. 538. The standard bio-bibliography still remains Pasquale Tuozzi, "Agostino Nifo 9 le sue opere," Atti e memorie della R. Accademia di Scienze, Lettere ed Arti in Padova, Nuova scrie, XX (Padua, 1904), pp. 63-86. But see also Giuseppr Tommasino, Tra umanisti e filosoft (Maddaloni, 1921), Porte I, pp. 123-147; and Edward P. Mahoney, "A Note on Agostino Nifo," Philological Quarterly (forthcoming). z See Franeeseo Fiorentino, Pietro Pomponazzi; Studi storici su la scuola bolognese e padovana del secolo xvI (Florence, 1868); Carlo Giacon, La seconda scolastica: 1 grandi commentatori di San Tommaso (Milan, 1944); Etienne Gilson, "L'affaire de l'immortalit6 de l'fime ~t Venise at* d6but du xvIe si~ele," in Umanesirno europeo e uraanesimo veneziano, ed. Vittore Branea (Florence, 1963), pp. 31-61; Miehele Giorgiantonio, "Un nostro filosofo dimentieato dcl '400 (Luea Prassicio e Agostino Nifo)," Sophia, XVI (1948), pp. 212-214 and 303-312; Bruno Nardi, Saggi sulraristotelismo padovano dal secolo x]v al xvI (Florence, 1958); idem, Sigieri di Brabante nel pensiero del Rinascimento Italiano (Rome, 1945); Giovanni di NapoH, L'immortalitd delranima nel Rinascimento ('Turin, 1963); John Herman Randall, Jr., The School of Padua and the Emergence of Modern Science (Padua, 1961); Wilhelm Risse, Die Logik der Neuzeit, I (Stuttgart, 1964); Eugenio Garin, La cultura [ilosofica del Rinascimento Italiano (Florence, 1961); idem, Storia della filosofia italiana, II (Turin, 1966). See Nifo's De Armorum Literarumque Comparatione Commentariolus (Naples, 1526); De Pulchro et Amore (Rome, 1531); De Re Aulica (Naples, 1534); and Prima Pars Opusculorum (Venice, 1535). The second of these works has been studied by Jules Houdoy, La beaut~ des femmes dans la litt#rature et darts rart du xII" au xvIe si~cle; Analyse du livre de A. Niphus du Beau et de l'amour (Paris, 1876). 4 For recent discussion of the immortality controversy, see Etienne Gilson, "Autour de Pomponazzi, ProbMmatique de l'immortalit~ de l'~me en Italic au d~but du xvIe si~.cle," Archives d'histoire doctrinale et litt~raire du moyen dge, Ann6e 1961, pp. 163-179; Giovanni di Napoli, op. cit., especially pp. 227-338; Paul Oskar Kristeller, Eight Philosophers of the Italian Renaissance (Stanford, 1964), pp. 72-90; Bruno Nardi, Studi su Pietro Pomponazzi (Florence, 1965); Martin Pine, "Pomponazzi and the Problem of 'Double Truth'," Journal ot the History of Ideas, XXIX (1968), pp. 163-176; Harold Shulsky, "Paduan Epistemology and the Doctrine of the One Mind," lournal of the History of Philosophy, VI (1968), pp. 341-361. [451] 452 HISTORY OF PHILOSOPHY (1516) of Pomponazzi, who had argued that personal immortality cannot be philosophically demonstrated, s But while these scholars correctly point out that Nifo abandoned an Averroist interpretation of Aristotle concerning the unity of the intellect and the immortality of the soul for the position which they assume to be Thomistic, they are not precise as to just when Nile made the shift.6 They have not observed that in his first two printed works, namely, the commentary on Averroes' Destructio Destructionum (1497) and the early commentary on the De Anima (1503), Nifo explicitly accepts Averroes as the... (shrink)

The book provides a practical guide to the application of Critical Realism (CR), an increasingly popular philosophy of social science, in empirical research projects. Each purpose-written chapter reviews major social science research methods and contains extended illustration of how to conduct inquiry using CR.

An almost unbelievable amount of false philosophy has arisen through not realizing what ‘existence’ means…. [It] rests upon the notion that existence is, so to speak, a property that you can attribute to things, and that the things that exist have the property of existence and the things that do not exist do not. That is rubbish . I have dared to puncture several metaphysical balloons and nothing came out of them but hot air.

The Alleged Turning Point in European Philosophy Existentialists, especially those who follow either Heidegger or Jaspers, find a great deal objectionable in what they variously call ‘scientism’, ‘scientific rationalism’, and ‘positivism’. In this article I shall discuss one of the alleged defects of scientific rationalism, that it recognizes only one kind of truth—the kind that existentialists call ‘objective truth’. ‘One great achievement of existential philosophy,’ writes William Barrett, ‘has been a new interpretation of the idea of truth in order to (...) point out that there are different kinds of truth, where a rigid scientific rationalism had postulated but one kind: objective scientific truth.’ Not only scientific rationalists but traditional metaphysicians from Plato to Aquinas and Hegel are judged to be equally at fault here: they too have failed to recognize any truth other than the objective variety. It was Kierkegaard who for the first time effectively challenged the assumptions shared by scientific rationalists and traditional metaphysicians. Kierkegaard, in Barrett's words, ‘had to re-open the whole question of the meaning of truth … his stand on the question may well have marked a turning point in European philosophy.’. (shrink)

This is the text of The Lindley Lecture for 1969, given by Paul Edwards, an Austrian-American philosopher.